проблема выполнимости

См. также в других словарях:

• проблема выполнимости — Термин булевой алгебры, определяет, какое значение 1 или 0 надо добавить к выражению, чтобы выражение равнялось 1. Это труднорешаемая задача. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN satisfiability problem …   Справочник технического переводчика

• разрешения проблема —         РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …   Энциклопедия эпистемологии и философии науки

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• Удовлетворение ограничений — Содержание 1 Введение 2 История 3 Примеры задач удовлетворения ограничений …   Википедия

• Стереометрическая семантика —    трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… …   Проективный философский словарь

• ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …   Философская энциклопедия

• NP-полная задача — В теории алгоритмов NP полная задача  задача из класса NP, к которой можно свести любую другую задачу из класса NP за полиномиальное время. Таким образом, NP полные задачи образуют в некотором смысле подмножество «самых сложных» задач в… …   Википедия

• СЛЕДОВАНИЕ — (логическое следо в а н и е) – отношение между суждениями (высказываниями, предложениями, утвержде ниями), играющее центр. роль в (дедуктивной) логике: изучение свойств С. в конечном счете породило всю логич. проблематику. Поскольку С.… …   Философская энциклопедия

• теория —         ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …   Энциклопедия эпистемологии и философии науки

• АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

• Класс NP-complete — В теории алгоритмов NP полная задача  это такая задача из класса NP, к которой можно свести любую другую задачу из класса NP. Таким образом, NP полные задачи образуют в некотором смысле подмножество «самых сложных» задач в классе NP; и если для… …   Википедия